$\vdash$  (tt = tt) $\vee$ (tt = ff)